1. Computer science logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 : proceedings
Author: Luke Ong )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer logic
Classification :
QA
76
.
L28
Vol
.
3634
2. Foundations of software science and computational structures
Author: / Luke Ong (Ed.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: System analysis, Congresses
Classification :
QA76
.
751
.
F67
2010
